Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Hans Van Ditmarsch »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Hans Rohde < Hans Van Ditmarsch < Hans Van-Ditmarsch  Facettes :

List of bibliographic references indexed by Hans Van Ditmarsch

Number of relevant bibliographic references: 32.
[0-20] [0 - 20][0 - 32][20-31][20-40]
Ident.Authors (with country if any)Title
000044 (2016-04-11) Zeinab Bakhtiari [France] ; Hans Van Ditmarsch [France] ; Sabine Frittella [Pays-Bas]Algebraic Semantics of Refinement Modal Logic
000680 (2015) Laura Bozzelli [Espagne] ; Hans Van Ditmarsch [France] ; Sophie Pinchinat [France]The complexity of one-agent refinement modal logic
000699 (2015) Jie Fan [République populaire de Chine] ; Hans Van Ditmarsch [France]Neighborhood Contingency Logic
000726 (2015) Jean-René Courtault [France] ; Hans Van Ditmarsch [France] ; Didier Galmiche [France]An Epistemic Separation Logic
000732 (2015) Andrés Cord N-Franco [Espagne] ; Hans Van Ditmarsch [France] ; David Fernández Duque [Espagne] ; Fernando Soler-Toscano [Espagne]A geometric protocol for cryptography with cards
000D30 (2014) Hans Van Ditmarsch [France]The Ditmarsch Tale of Wonders
000D36 (2014) Hans Van Ditmarsch [France] ; Tim French [Australie]Semantics for Knowledge and Change of Awareness
000D43 (2014) Hans Van Ditmarsch [France] ; Sophia Knight [France]Partial Information and Uniform Strategies
000D45 (2014) Hans Van Ditmarsch [France] ; David Fernández Duque [Espagne] ; Wiebe Hoek [Royaume-Uni]On the definability of simulation and bisimulation in epistemic logic
000D54 (2014) Carlos Areces [Argentine] ; Hans Van Ditmarsch [France] ; Raul Fervari [France] ; François Schwarzentruber [France]Logics with Copy and Remove
000D56 (2014) Maduka Attamah [Royaume-Uni] ; Hans Van Ditmarsch [France] ; Davide Grossi [Royaume-Uni] ; Wiebe Hoek [Royaume-Uni]Knowledge and Gossip
000D59 (2014) Hans Van Ditmarsch [France] ; Sujata Ghosh [Inde] ; Rineke Verbrugge [Pays-Bas] ; Yanjing Wang [République populaire de Chine]Hidden protocols: Modifying our expectations in an evolving world
000D66 (2014) Hans Van Ditmarsch [France]Dynamics of lying
000D81 (2014) Hans Van Ditmarsch [France] ; Sophia Knight [France] ; Aybüke Özgün [France]Arbitrary Announcements on Topological Subset Spaces
000D91 (2014) Maduka Attamah [Royaume-Uni] ; Hans Van Ditmarsch [France] ; Davide Grossi [France] ; Wiebe Hoek [Royaume-Uni]A Framework for Epistemic Gossip Protocols
000E24 (2014) Hans Van Ditmarsch [France, Espagne] ; Jérôme Lang [France]Editorial introduction to the special issue LORI Guangzhou
000E42 (2014) Hans Van Ditmarsch [France] ; Sujata Ghosh [Inde] ; Rineke Verbrugge [Pays-Bas] ; YANJING WANG [République populaire de Chine]Hidden protocols: Modifying our expectations in an evolving world
000E55 (2014) Thomas Gotnes [France] ; Hans Van Ditmarsch [France] ; Tim French [Australie]The undecidability of group announcements
000E61 (2014) Hans Van Ditmarsch [France] ; Jie Fan [République populaire de Chine] ; Wiebe Hoek [Royaume-Uni] ; Petar Iliev [France]Some Exponential Lower Bounds on Formula-size in Modal Logic
000E84 (2014) Jie Fan [République populaire de Chine] ; Yanjing Wang [République populaire de Chine] ; Hans Van Ditmarsch [France]Almost Necessary
000F98 (2013-10-09) Hans Van Ditmarsch [France] ; Andreas Herzig [France] ; Emiliano Lorini [France] ; François Schwarzentruber [France]Listen to me! Public announcements to agents that pay attention - or not

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Hans Van Ditmarsch" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Hans Van Ditmarsch" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Hans Van Ditmarsch
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022